Hydrothermal liquefaction of four brown macro-algae commonly found on the UK coasts: An energetic analysis of the process and comparison with bio-chemical conversion methods

Hydrothermal liquefaction (HTL) of four brown macro-algae was used to produce bio-crude and bio-char in an energy favorable way. Bio-crude yields between 9.8 wt% and 17.8 wt% (daf) with HHVs between 32 and 34 MJ/kg and bio-char yields between 10.9 wt% and 18.6 wt% (db) with HHVs between 15.7 and 26.2 MJ/kg were produced. A modification of the energy consumption ratio (ECR) index was attempted in order to include in the formula the calculation of the specific heat capacity of the feedstock used, as well as the increase of the specific heat capacity of water with temperature. A comparison in terms of energy output was made between the products from HTL and products from bio-chemical conversion of macro-algae such as anaerobic digestion (AD) and fermentation. The results indicate that HTL has higher energy output than fermentation and analogue of that from anaerobic digestion (7.91 MJ/kgseaweed and 8.25 MJ/kgseaweed from HTL and AD respectively)

Translating between Alloy specifications and UML class diagrams annotated with OCL

Model-driven engineering (MDE) is a software engineering approach based on model transformations at different abstraction levels. It prescribes the development of software by successively transforming the models from abstract (specifications) to more concrete ones (code). Alloy is an increasingly popular lightweight formal specification language that supports automatic verification. Unfortunately, its widespread industrial adoption is hampered by the lack of an ecosystem of MDE tools, namely code generators. This paper presents a model transformation from Alloy to UML class diagrams annotated with OCL (UML+OCL) and shows how an existing transformation from UML+OCL to Alloy can be improved to handle dynamic issues. The proposed bidirectional transformation enables a smooth integration of Alloy in the current MDE contexts, by allowing UML+OCL specifications to be transformed to Alloy for validation and verification, to correct and possibly refine them inside Alloy, and to translate them back to UML+OCL for sharing with stakeholders or to reuse current model-driven architecture tools to refine them toward code.This work was funded by European Regional Development Fund (ERDF) through the COMPETE Programme (operational program for competitiveness) and by national funds through the FCT (Fundaaco para a Ciencia e a Tecnologia-portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-020532. Part of the work was done while the first author was visiting the Software Design Group at CSAIL, MIT, USA, funded by FCT sabbatical grant SFRH/BSAB/1187/2011. The second author was also partially supported by QREN (the portuguese National Strategy Reference Chart) project 1621, while visiting the High-Assurance Software Laboratory at Universidade do Minho, Portugal. Finally, we would also like to thank all anonymous reviewers for the valuable comments and suggestions

Implementing QVT-R bidirectional model transformations using alloy

QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVT-R has been clarified and formalized. In this paper we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports meta-models enriched with OCL constraints (thus avoiding returning ill-formed models), and proposes an alternative enforcement semantics that works according to the simple and predictable “principle of least change”. The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model finding via SAT solving.Fundação para a Ciência e a Tecnologi

Least - change bidirectional model transformation With QVT- R and ATL

QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVTR has been clarified and formalized. In this article we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports metamodels enriched with OCL constraints (thus avoiding returning ill-formed models), and proposes an alternative enforcement semantics that works according to the simple and predictable “principle of least change”. The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model finding via SAT solving. We also show how this technique can be applied to bidirectionalize ATL, a popular (but unidirectional) model transformation language.This work is funded by ERDF-European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by national funds through the FCT-Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-020532. The first author is also sponsored by FCT grant SFRH/BD/69585/2010. The authors would also like to thank all anonymous reviewers for the valuable comments and suggestions

An invariant-based method for the analysis of declarative model-to-model transformations

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-87875-9_3Proceedings of 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008In this paper we propose a method to derive OCL invariants from declarative specifications of model-to-model transformations. In particular we consider two of the most prominent approaches for specifying such transformations: Triple Graph Grammars and QVT. Once the specification is expressed in the form of invariants, the transformation developer can use such description to verify properties of the original transformation (e.g. whether it defines a total, surjective or injective function), and to validate the transformation by the automatic generation of valid pairs of source and target models.Work supported by the Spanish Ministry of Education and Science, projects MOSAIC (TSI2005-08225-C07-06), MODUWEB (TIN2006-09678) and TIN2005-06053, and an UOC-IN3 research gran

Proposal for a revised definition of dilated cardiomyopathy, hypokinetic non-dilated cardiomyopathy, and its implications for clinical practice: a position statement of the ESC working group on myocardial and pericardial diseases

In this paper the Working Group on Myocardial and Pericardial Disease proposes a revised definition of dilated cardiomyopathy (DCM) in an attempt to bridge the gap between our recent understanding of the disease spectrum and its clinical presentation in relatives, which is key for early diagnosis and the institution of potential preventative measures. We also provide practical hints to identify subsets of the DCM syndrome where aetiology directed management has great clinical relevance

Diagnosis of arrhythmogenic cardiomyopathy: The Padua criteria.

The original designation of "Arrhythmogenic right ventricular (dysplasia/) cardiomyopathy"(ARVC) was used by the scientists who first discovered the disease, in the pre-genetic and pre-cardiac magnetic resonance era, to describe a new heart muscle disease predominantly affecting the right ventricle, whose cardinal clinical manifestation was the occurrence of malignant ventricular arrhythmias. Subsequently, autopsy investigations, genotype-phenotype correlations studies and the increasing use of contrast-enhancement cardiac magnetic resonance showed that the fibro-fatty replacement of the myocardium represents the distinctive phenotypic feature of the disease that affects the myocardium of both ventricles, with left ventricular involvement which may parallel or exceed the severity of right ventricular involvement. This has led to the new designation of "Arrhythmogenic Cardiomyopathy" (ACM), that represents the evolution of the original term of ARVC. The present International Expert Consensus document proposes an upgrade of the criteria for diagnosis of the entire spectrum of the phenotypic variants of ACM. The proposed "Padua criteria" derive from the diagnostic approach to ACM, which has been developed over 30 years by the multidisciplinary team of basic researchers and clinical cardiologists of the Medical School of the University of Padua. The Padua criteria are a working framework to improve the diagnosis of ACM by introducing new diagnostic criteria regarding tissue characterization findings by contrast-enhanced cardiac magnetic resonance, depolarization/repolarization ECG abnormalities and ventricular arrhythmia features for diagnosis of the left ventricular phenotype. The proposed diagnostic criteria need to be further validated by future clinical studies in large cohorts of patients

Lightweight String Reasoning for OCL

International audienceModels play a key role in assuring software quality in the modeldriven approach. Precise models usually require the definition of OCL expressions to specify model constraints that cannot be expressed graphically. Techniques that check the satisfiability of such models and find corresponding instances of them are important in various activities, such as model-based testing and validation. Several tools to check model satisfiability have been developed but to our knowledge, none of them yet supports the analysis of OCL expressions including operations on Strings in general terms. As, in contrast, many industrial models do contain such operations, there is evidently a gap. There has been much research on formal reasoning on strings in general, but so far the results could not be included into model finding approaches. For model finding, string reasoning only contributes a sub-problem, therefore, a string reasoning approach for model finding should not add up front too much computational complexity to the global model finding problem. We present such a lightweight approach based on constraint satisfaction problems and constraint rewriting. Our approach efficiently solves several common kinds of string constraints and it is integrated into the EMFtoCSP model finder

The current role of next-generation DNA sequencing in routine care of patients with hereditary cardiovascular conditions: a viewpoint paper of the European Society of Cardiology working group on myocardial and pericardial diseases and members of the European Society of Human Genetics

Cardiomyopathies, arrhythmic syndromes, aortopathies, and other cardiovascular diseases with Mendelian inheritance are relatively frequent conditions for which genetic testing is recommended in various guidelines.1,2 The most widely recognized indication for genetic testing in patients with these conditions is to identify a causative mutation and subsequently provide pre-symptomatic or predictive testing of relatives who are at risk of developing the same disease at a later stage. This process of cascade screening of family members ensures adequate clinical surveillance of mutation carriers and allows non-carriers to be discharged from clinical follow-up. A number of studies have reported a greater cost-effectiveness combining molecular screening with clinical screening compared with isolated clinical investigations.3 Previously, genetic testing was based on conventional techniques like Sanger sequencing analysing genes one by one, but recent advances in DNA sequencing technologies have made it possible to investigate large numbers of disease genes simultaneously, making mutation analysis much faster and cheaper. These new methods are known as next-generation sequencing (NGS) and represent a major advance in the ability to identify causative mutations in families affected by genetic diseases (see Supplementary material online, Figure S1).4,5 However, analysis of large numbers of genes may identify a number of sequence variants of uncertain clinical significance (VUS). As a result, cardiologists and clinical geneticists who counsel and manage families with inherited cardiovascular disorders are facing a major challenge in determining the clinical relevance of NGS results.6,7 This paper gives a brief overview of the principles of NGS, discusses the general strategies for the interpretation of sequencing results, and reviews the implications of NGS for cardio-genetic services. In addition, issues related to genetic counselling and ethical considerations are discussed. A summary of viewpoints is given in Table 1